In this paper,we extend our previous results on detectability to nondeterministic discrete event systems.Many practical ......

分析了已有的面向Agent软件工程方法中Agent建模存在的问题，针对Agent的并发性和不确定性的特点，提出了采用具有不确定性和并发性特......

消息日志是用于多进程、分布式系统中状态恢复的一种方法。本文针对传统的消息日志方法仅仅适用于确定性进程的局限性，提出一种新的......